solid Onshape
  facet normal 0 0 -1
    outer loop
      vertex -20 -3.46945e-15 0
      vertex -1.1719e-15 20 0
      vertex -9.62965e-32 0 0
    endloop
  endfacet
  facet normal 1.73472e-16 -1 0
    outer loop
      vertex -9.62965e-32 0 15
      vertex -20 -3.46945e-15 15
      vertex -9.62965e-32 0 0
    endloop
  endfacet
  facet normal 1.73472e-16 -1 0
    outer loop
      vertex -20 -3.46945e-15 15
      vertex -20 -3.46945e-15 0
      vertex -9.62965e-32 0 0
    endloop
  endfacet
  facet normal 1 5.85949e-17 0
    outer loop
      vertex -1.1719e-15 20 15
      vertex -9.62965e-32 0 15
      vertex -1.1719e-15 20 0
    endloop
  endfacet
  facet normal 1 5.85949e-17 0
    outer loop
      vertex -9.62965e-32 0 15
      vertex -9.62965e-32 0 0
      vertex -1.1719e-15 20 0
    endloop
  endfacet
  facet normal -0.707107 0.707107 0
    outer loop
      vertex -20 -3.46945e-15 15
      vertex -1.1719e-15 20 15
      vertex -20 -3.46945e-15 0
    endloop
  endfacet
  facet normal -0.707107 0.707107 0
    outer loop
      vertex -1.1719e-15 20 15
      vertex -1.1719e-15 20 0
      vertex -20 -3.46945e-15 0
    endloop
  endfacet
  facet normal 0 0 1
    outer loop
      vertex -9.62965e-32 0 15
      vertex -1.1719e-15 20 15
      vertex -20 -3.46945e-15 15
    endloop
  endfacet
endsolid Onshape